Merge branch 'property-selection' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 6 Jun 2020 17:35:05 +0000 (17:35 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 6 Jun 2020 17:35:05 +0000 (17:35 +0000)
Property selection

Closes #2826

See merge request GNOME/gtk!2054


Trivial merge